Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System

Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System

Theorema 2.0 stands for a re-design including a complete re-implementation of the Theorema system, which was originally designed, developed, and implemented by Bruno Buchberger and his Theorema group at RISC. In this paper, we present the first prototype of a graphical user interface (GUI) for the new system. It heavily relies on powerful interactive capabilities introduced in recent releases o...

User Interface Features in Theorema : A Summary ?

This paper presents the main features of Theorema’s user interface. We briefly describe how mathematical knowledge can be expressed in the Theorema Formal Text Language and how the knowledge can be used for proving, solving, computing. We illustrate how the system presents the proofs it generated and how the user can influence the proof search process interactively.

Graphical User Interface Software for System Identification

AutoAssemblyD: a graphical user interface system for several genome assemblers

UNLABELLED Next-generation sequencing technologies have increased the amount of biological data generated. Thus, bioinformatics has become important because new methods and algorithms are necessary to manipulate and process such data. However, certain challenges have emerged, such as genome assembly using short reads and high-throughput platforms. In this context, several algorithms have been d...

Theorema 2.0: A System for Mathematical Theory Exploration

Theorema 2.0 stands for a re-design including a complete reimplementation of the Theorema system, which was originally designed, developed, and implemented by Bruno Buchberger and his Theorema group at RISC. In this talk, we want to present the current status of the new implementation, in particular the new user interface of the system.